Add include headers in files using symbols defined by them.#850

Open

vitor1001 wants to merge 2 commits intoMiniZinc:developfrom

vitor1001:master

Commits on Oct 2, 2024

Add include headers in files using symbols defined by them.
vitor1001
committed

Commits on Jan 28, 2025

Make the comparator CmpExpIdx respect the std::strict_weak_ordering requirements.
vitor1001
committed